Symbolic Modeling Approach in Verification and Testing
نویسنده
چکیده
The paper outlines a symbolic modeling approach developed in Glushkov Institute of Cybernetics and applied in verification and model-based testing. This method is the result of 10 years of experience in a large amount of industrial projects in different subject domains. The models in this approach are presented as UCM (Use Case Maps) notation composed with basic protocols formal language. Symbolic modelling is used in verification of requirements and models of programs. It is also intended for creation of test suits and further test execution. Keywords—symbolic modeling, symbolic execution, model-based testing, verification of requirements, predicate transformers
منابع مشابه
Search-Based Approaches to Software Fault Prediction and Software Testing
Software verification and validation activities are essential for software quality but also constitute a large part of software development costs. Therefore efficient and costeffective software verification and validation activities are both a priority and a necessity considering the pressure to decrease time-to-market and intense competition faced by many, if not all, companies today. It is th...
متن کاملOptimization of Analogue Filters for Telecommunications Using Symbolic and Semisymbolic Approach
The utilization of symbolic and semisymbolic algorithms as the effective tools supporting partial design stages of analogue filters is introduced. The corresponding software has been designed for supporting main design stages of both the passive and active filters effectively: a principle verification using the symbolic analysis, modeling of the influence of real component parameters using the ...
متن کاملTowards Symbolic Analysis of Visual Modeling Languages
Graph transformation has recently become more and more popular as a general, rule-based visual specification paradigm to formally capture the operational semantics of modeling languages based on metamodeling techniques as demonstrated by benchmark applications focusing on the formal treatment of the Unified Modeling Language (UML). In the paper, we enable model checking-based symbolic verificat...
متن کاملOn the Verification of a WiMax Design Using Symbolic Simulation
In top-down multi-level design methodologies, design descriptions at higher levels of abstraction are incrementally refined to the final realizations. Simulation based techniques have traditionally been used to verify that such model refinements do not change the design functionality. Unfortunately, with computer simulations it is not possible to completely check that a design transformation is...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015